This paper develops the very basic notions of analysis in a weak second-order theory of arithmetic BTFA whose provably total functions are the polynomial time computable functions. We formalize within BTFA the real number system and the notion of a continuous real function of a real variable. The theory BTFA is able to prove the intermediate value theorem, wherefore it follows that the system of real numbers is a real closed ordered field. In the last section of the paper, we (...) show how to interpret the theory BTFA in Robinson's theory of arithmetic Q. This fact entails that the elementary theory of the real closed ordered fields is interpretable in Q. (shrink)

In this paper we give a partial answer to a conjecture of Tanaka. We prove that: if WKL0 proves a sentence of the form (∀X)(∃!Y)ψ(X, Y) for a Σ03-formula ψ, then so does RCA0.

O proposito desse artigo é examinar a partir do pensamento político de Hannah Arendt a distinção entre esfera pública e esfera privada, e o modo como na modernidade a esfera da vida privada alcançou uma significação pública jamais tida antes. Para tanto, iniciamos pela divisão que os gregos e os romanos faziam dessas duas esferas, dando mais ênfase para os gregos, onde as questões relativas ao campo da vida privada jamais podiam adentrar ao domínio público. Portanto, é somente na modernidade (...) que a esfera pública tornou-se apenas uma função da esfera privada, possibilitando, assim, que a vida e a necessidade ascendessem ao centro da questão política. (shrink)

Vertebrates respond to light with more than just their eyes. In this article, we speculate on the intriguing possibility that a link remains between non‐visual opsins and neurohormonal systems that control neuronal circuit formation and activity in mammals. Historically, the retina and pineal gland were considered the only significant light‐sensing tissues in vertebrates. However over the last century, evidence has accumulated arguing that extra‐ocular tissues in vertebrates influence behavior through non‐image‐forming photoreception. One such class of extra‐ocular light detectors are the (...) long mysterious deep brain photoreceptors. Here, we review recent findings on the cellular identity and the function of deep brain photoreceptors controlling behavior and physiology in zebrafish, and discuss their implications. (shrink)

O presente artigo tem por objetivo discutir o conceito de natalidade e sua relação com o fenômeno revolucionário a partir do pensamento de Hannah Arendt. Para tanto, laçaremos mão de algumas obras de referência da autora para pensar tal categoria, a saber: Origens do Totalitarismo (1951), A condição humana (1951) e Sobre a Revolução (1963). Para Arendt, o conceito de natalidade está diretamente relacionado a capacidade dos indivíduos de iniciarem coisas novas no mundo, isto é, de serem iniciadores de um (...) mundo inteiramente novo. O fenômeno revolucionário moderno, por sua vez, representa um novus ardo saeclorum, uma novidade que se tornou possível por meio da ação conjunta dos homens e da capacidade de começar própria daqueles que são os recém-chegados ao mundo. Portanto, nosso problema consiste em constatar a centralidade do conceito de natalidade no pensamento político de Arendt, bem como sua relação com o fenômeno revolucionário moderno. (shrink)

Com este artigo pretende-se argumentar pela possibilidade de uma escrita historiográfica em instância memorial, fazendo valer argumentos já esgrimidos por Ortega y Gasset, agora revistos criticamente desde uma base pragmatista. Pretende-se igualmente dar uma primeira resposta ao problema da relação de prioridade entre a história e a vida, mostrando que a vida tem desde logo um sentido historial.

We prove two conservation results involving a generalization of the principle of strict ${\Pi^1_1}$ -reflection, in the context of bounded arithmetic. In this context a separation between the concepts of bounded set and binary sequence seems to emerge as fundamental.

Vertebrates respond to light with more than just their eyes. In this article, we speculate on the intriguing possibility that a link remains between non‐visual opsins and neurohormonal systems that control neuronal circuit formation and activity in mammals. Historically, the retina and pineal gland were considered the only significant light‐sensing tissues in vertebrates. However over the last century, evidence has accumulated arguing that extra‐ocular tissues in vertebrates influence behavior through non‐image‐forming photoreception. One such class of extra‐ocular light detectors are the (...) long mysterious deep brain photoreceptors. Here, we review recent findings on the cellular identity and the function of deep brain photoreceptors controlling behavior and physiology in zebrafish, and discuss their implications. (shrink)

The recent pandemic and consequent lockdown had a substantial impact on mental health and optimism regarding the future. Previous research showed that levels of depression, anxiety, and stress had increased throughout the pandemic. Nonetheless, how individuals cope when faced with adversity may be associated with positive expectations regarding the future. A sample of 274 Portuguese workers with a mean age of 40.86 and work experience of 19.68 years met inclusion criteria and agreed to participate in the proposed study. They represented (...) a variety of working classes. We investigated the associations between depression, stress, anxiety, adaptive and maladaptive coping, and optimism while controlling for working experience, gender, and work type. We found that depression was related to lower levels of optimism. However, for participants scoring high on adaptive coping and anxiety, higher scores of optimism were reported. Gender, work type, and experience did not significantly influence the results. These results provide evidence through which positive mental health can be promoted after the pandemic. (shrink)

A recente obra de Alexandre Franco de Sá (doravante AFS), recolhendo no essencial e após revisão, um conjunto de comunicações que o autor em boa hora publica, refere uma cerrada e notável argumentação em torno à operatividade contemporânea da filosofia política de Carl Schmitt. O presente trabalho ganha ainda mais ao ser complementado com a leitura do artigo publicado por AFS na Revista Portuguesa de Filosofia, fascículo 1 de 2003, intitulado "Do decisionismo à teologia política: Carl Schmitt...

Todas as sociedades possuem uma cultura que dita as regras de ser e de estar em sociedade. A cultura é uma das práticas mais importantes da afirmação da identidade de um povo. As culturas mudam à medida que a sociedade se adapta aos novos modelos de vida. Em muitos casos, o que provoca mudanças é o contato entre povos fazendo com que um grupo assimila práticas do outro. A pesquisa visou compreender a problemática da violência contra as mulheres idosas em (...) São Tomé e Príncipe. Quanto à metodologia a pesquisa usou uma abordagem qualitativa usando como instrumentos de coleta entrevista e o questionário que foram aplicadas em três instituições de acolhimento de pessoas idosas. Da pesquisa se conclui que os idosos em STP merecem respeito por parte da sociedade da política em especial. Concluiu-se que as idosas precisam de ser respeitadas nas suas identidades para que vivam os seus dias com saúde mental adequada. A falta de políticas públicas da proteção dos idosos é preocupante em STP e seria importante que houvesse intervenção rápida do poder público. (shrink)

Henri Lefebvre, em O Direito à Cidade, afirmou que a cidade desde a Idade Clássica foi um objeto especial para o pensamento filosófico: a própria filosofia nasceu na cidade. Outra questão, destacou, seria pensar em um direito à cidade, como direito à vida urbana, transformada, renovada, um direito em formação que ainda não teria entrado nos códigos formalizados. Esse conceito, criado pouco antes de Maio de 1968 e empregado por diversos movimentos sociais desde o fim da década de 1960 até (...) os dias atuais, inclusive no Brasil, foi depois discutido, entre outros autores, por David Harvey. No entanto, esses autores não realizaram exatamente uma articulação com a filosofia do Direito. O artigo tem como objetivo apontar algumas possibilidades dessa articulação, à luz dos movimentos relativos à reforma urbana e ao direito moradia no Brasil, e do processo internacional de criação desse direito. (shrink)

Introduction: Resilience is a multidimensional and dynamic construct associated with positive growth and the capacity to transform stressful and negative factors into opportunities of personal development and self-improvement when faced with difficult experiences. The resilience process of each individual integrates multiple analysis levels, which range from genetic-environmental interactions to a complex process of adaptation between the individual and his/her family, friends, co-workers, society, and culture.Objective: To determine whether resilience improves in students of occupational therapy when exposed for the first time (...) to practice placement education.Methodology: Quasi-experimental, prospective, observational, multi-center study with a sample composed of students from the Degree of Occupational Therapy of the public universities of Málaga and Castilla-La Mancha. Two weeks prior to the beginning of the practice education period, the participants completed a questionnaire that included sociodemographic data and the area of their internships. They were also given the Spanish version of the Connor-Davidson's resilience scale. All these instruments were also completed 1 week after the end of the clinical practice.Results: There were statistically significant differences between the variables that make up resilience and the different internship areas. On the other hand, there was a significant improvement of global resilience after the clinical practice period, in both women and men, when the internship area was not considered.Conclusions: The results show that resilient students are more optimistic and work to improve a situation beyond doing simply what is expected of them, knowing how to control their feelings. This is beneficial for students in practice education, since, during these, they face difficult situations that require a resilient pattern, which helps reduce stress and the burnout syndrome. (shrink)

Research has demonstrated that policing is a stressful occupation and has a negative impact on police officers’ mental and physical health, performance, and interactions with citizens. Mental health at the workplace has become a concern due to the costs of depression, anxiety, burnout, and even suicide, which is high among police officers.To ameliorate occupational health, it is crucial therefore to identify stress and burnout levels on a regular basis. However, the instruments frequently used to measure stress have not valorized the (...) specificity of policing tasks. This study aims: i) conducting a literature review, to identify questionnaires used to assess occupational stress and burnout among police officers; ii) to analyze the psychometric characteristics of a Portuguese version of Operational Police Stress Questionnaire (PSQ-Op); and, using the PSQ-op and other questionnaires, iii) to identify operational stress, burnout, and distress levels among Portuguese police officers. The literature review identified 108 studies, which use a multiplicity of questionnaires to measure burnout or occupational stress among police officers, but few studies use specific police stress questionnaires. Sample sizes were mostly below 500 participants and studies were mainly developed in the last decade in the USA and Brazil, but also in another 24 countries, showing the extent of the interest in this topic. This study applied to 2057 police officers from National Portuguese Police, a force policing urban centers, the PSQ-Op, as well the Spanish Burnout Inventory and the Kessler Psychological Distress Scale.The results show that the psychometric properties of the Portuguese version of PSQ-Op are adequate. Factorial analysis revealed two dimensions defined as social and work issues, which were associated with measures of distress and burnout.Fit indices suggested a second-order solution called operational police stress. Overall, and considering the scale range of each questionnaire, the results showed moderate values of operational stress, distress, and burnout. However, considering their cut-off points, 85% of the sample presented high operational stress levels, 11% critical values for burnout, and 28% high distress levels, with 55% of the sample at risk of psychological disorder. These results reinforce the need to prevent stress and to invest in police officers’ occupational health. (shrink)

System analyses deal with interrelationships between different variables that keep the system in balance. In many analysis of complex thinking, a system is viewed as a complex unit in which the ‘whole’ is not reduced to the ‘sum’ of its parts; the system becomes an ambiguous item because it consists of several entities that interact with unforeseen results or, in other words, it is situated at a transdisciplinary level, it is impossible for an area to have a complete reading of (...) its complexity. It was also mentioned that the concept of the open system best describes complexity by stating that ‘the laws of the organization are not equilibrium, but an imbalance that is restored or compensated for by stabilized dynamics’. This idea originated from the field of thermodynamics and the second law, in which the imbalance that it maintains allows the system for an apparent balance. This fragile steady state has something of a paradox, since the structures remain the same, but their constituents are changeable. The concept of open system undoes the door to a theory of evolution that can only derive from the interactions between a system and its ecosystem. Within this systemic approach, the focus of the analysis takes into account the ambiguity, multidisciplinary and complexity associated with system adjustment, i.e. it is intended to qualify an employee job based on their experience and knowledge as a measure of their impact on the organization performance. (shrink)

A teoria psicossomática aristotélico-tomista acerca das paixões constitui o fundamento principal da visão dos jesuítas nos séculos XVI e XVII. Tal conhecimento reflete-se na forma como o teólogo e pregador jesuíta Antonio Vieira (1608-1697) serviu-se de tais teorias, na arte da pregação, para mover os afetos, persuadir a razão e convencer os ouvintes. Desse modo, apresentamos os elementos essenciais que caracterizam a teologia da pregação, no período da Escolástica Barroca a partir do sermão das chagas de São Francisco. Neste sermão (...) o padre Antonio Vieira reconhece em Francisco de Assis a segunda estampa de Cristo crucificado. Além disso, discute as questões das paixões da alma na sua relação com os sentidos humanos e apresenta a unio mystica como expressão da conversão. Assim, no âmbito de uma espiritualidade que, como aquela dos jesuítas, valoriza o conhecimento de si mesmo, o sermão permite notar como se articulam no discurso o elemento psicológico e cognitivo, os aspectos da memória e da imaginação, dos afetos e da inteligência com a finalidade de converter e persuadir. (shrink)

A teoria psicossomática aristotélico-tomista acerca das paixões constitui o fundamento principal da visão dos jesuítas nos séculos XVI e XVII. Tal conhecimento reflete-se na forma como o teólogo e pregador jesuíta Antonio Vieira (1608-1697) serviu-se de tais teorias, na arte da pregação, para mover os afetos, persuadir a razão e convencer os ouvintes. Desse modo, apresentamos os elementos essenciais que caracterizam a teologia da pregação, no período da Escolástica Barroca a partir do sermão das chagas de São Francisco. Neste sermão (...) o padre Antonio Vieira reconhece em Francisco de Assis a segunda estampa de Cristo crucificado. Além disso, discute as questões das paixões da alma na sua relação com os sentidos humanos e apresenta a _unio mystica _como expressão da conversão. Assim, no âmbito de uma espiritualidade que, como aquela dos jesuítas, valoriza o conhecimento de si mesmo, o sermão permite notar como se articulam no discurso o elemento psicológico e cognitivo, os aspectos da memória e da imaginação, dos afetos e da inteligência com a finalidade de converter e persuadir. (shrink)

O texto Oração contra Leócrates, da autoria do ateniense Licurgo, remete para um processo judicial ocorrido em 330 a. C., movido a Leócrates, um outro cidadão de Atenas, por traição à polis após a derrota na Batalha de Queroneia, em 338 a. C. Nesta edição, da responsabilidade do Professor Doutor José António Segurado e Campos, optou-se pela tradução do original grego, pela incorporação de textos históricos e historiográficos sobre Licurgo ou as matérias do processo e por esclarecimentos prest...

Carlos Marx y el aporte todavía vigente del marxismo para las ciencias sociales del siglo XXI -- Walter Benjamin y las lecciones de una historia vista a "contrapelo" -- Norbert Elias : historiador y crítico de la modernidad -- El itenerario intelectual de Marc Bloch y el compromiso del intelectual con su propio presente -- (Re) construyendo la biografía intelectual de Fernand Braudel -- Michel Foucault en el espejo de Clío -- Carlo Ginzburg y el modelo de una historia crítica (...) para el análisis de las culturas subalternas -- Immanuel Wallerstein y la perspectiva crítica del "análisis de los sitemas-mundo" -- Edward Palmer Thompson y la "economía moral de la multitud" en el mundo del siglo XXI. (shrink)

Inhaltsverzeichnis/Table of Contents:IntroductionAntónio ZILHÃO: Folk-Psychology, Rationality and Human ActionJoão BRANQUINHO: The Problem of Cognitive DynamicsJ.P. MONTEIRO: Hume, Induction and Single ExperimentsMarco RUFFINO: The Primacy of Concepts and the Priority of Judgments in Frege's LogicJoão Vergílio Gallerani CUTER: Die unanwendbare Arithmetik des TractatusSílvio PINTO: Wittgenstein's Anti-PlatonismFernando FERREIRA: A Substitutional Framework for Arithmetical ValidityJ.R. CROCA & R.N. MOREIRA: Indeterminism Versus CausalismLuíz MONIZ PEREIRA: The Logical Impingement of Artifical Intelligence.

INCONTINENCE, HONOURING SUNK COSTS AND RATIONALITY According to a basic principle of rationality, the decision to engage in a course of action should be determined solely by the analysis of its consequences. Thus, considerations associated with previous use of resources should have no bearing on an agent’s decision-making process. Frequently, however, agents persist carrying on an activity they themselves judge to be nonoptimal under the circumstances because they have already allocated resources to that activity. When this is the case, agents (...) are said to be honouring sunk costs. Honouring sunk costs is thus typically viewed as irrational economic behaviour. Two striking findings of the psychological literature on the sunk cost effect are that it is, in general, not lessened by having taken previously courses in economics, and that agents who did take such courses and that do honour sunk costs seem to be frequently aware of a cognitive dissonance in their behaviour. Davidson’s account of the possibility conditions of incontinent action renders continent action materially unfeasible. The very idea of incontinent action becomes thus a hollow one. I’ll present an alternative description of these possibility conditions that renders continent action materially feasible, and both, continent and incontinent action, cognitively plausible. In a nutshell, my proposal rests upon the drawing of an essential cognitive contrast between explicit processes of deliberative reasoning and lower level heuristic procedures. I conclude the paper arguing that my redescription of incontinent action accounts for the above mentioned cognitive dissonance effect better than the alternatives and that viewing at least an important subset of behaviours of honouring sunk costs as incontinent actions will enable us to consider them as peculiar manifestations of a more general and meaningful pattern in human behaviour. (shrink)

Deliberative scholars have suggested that citizens should be able to exchange arguments in public forums. A key element in this exchange is the rational mode of communication, which means speaking through objective argumentation. However, some feminists argue that this mode of communication may create or intensify epistemic injustices. Furthermore, we should not assume that everyone is equally equipped to take part in deliberation. Certain groups, such as Indigenous peoples, for instance, who may not be versed in rational forms of argumentation, (...) may not be listened to or involved sufficiently in the deliberative process. Therefore, it seems we need an alternative mode of communication, such as storytelling, which is a first-person or collective narrative. Given this, how should we pursue this goal? This article aims to answer this question by analysing a local conflict involving an Indigenous tribe and a neighbouring community in Brazil and exploring the underlying testimonial and hermeneutical injustices. I argue that storytelling has an important normative and institutional role in public deliberation and show that its applied version could overcome epistemic injustices and lead to better public policies. (shrink)

Hay casos en los que se transforman y trastocan los objetivos de las instituciones por resoluciones y jurisprudencia de los tribunales, situación que se presentó en el análisis de una sentencia del 15 de mayo de 2019, por la 1ª Sala de la Suprema Corte de Justicia de la Nación (México), derivado del amparo en revisión 1388/ 2015, por la negativa del hospital de realizar la interrupción del embarazo, por motivos de salud, a pesar de que el niño tendría una (...) vida relativamente normal, perturbando el derecho a la salud, la conciencia social y el valor ético sobre la terapia y de la dignidad humana de todas las personas, discriminando al feto bajo un paradigma eugenésico. (shrink)

Advances in artificial intelligence (AI) raise important questions about whether people view moral evaluations by AI systems similarly to human-generated moral evaluations. We conducted a modified Moral Turing Test (m-MTT), inspired by Allen et al. (Exp Theor Artif Intell 352:24–28, 2004) proposal, by asking people to distinguish real human moral evaluations from those made by a popular advanced AI language model: GPT-4. A representative sample of 299 U.S. adults first rated the quality of moral evaluations when blinded to their source. (...) Remarkably, they rated the AI’s moral reasoning as superior in quality to humans’ along almost all dimensions, including virtuousness, intelligence, and trustworthiness, consistent with passing what Allen and colleagues call the comparative MTT. Next, when tasked with identifying the source of each evaluation (human or computer), people performed significantly above chance levels. Although the AI did not pass this test, this was not because of its inferior moral reasoning but, potentially, its perceived superiority, among other possible explanations. The emergence of language models capable of producing moral responses perceived as superior in quality to humans’ raises concerns that people may uncritically accept potentially harmful moral guidance from AI. This possibility highlights the need for safeguards around generative language models in matters of morality. (shrink)

For many years, the game of chess has provided an invaluable task environment for research on cognition, in particular on the differences between novices and experts and the learning that removes these differences, and upon the structure of human memory and its paramaters. The template theory presented by Gobet and Simon based on the EPAM theory offers precise predictions on cognitive processes during the presentation and recall of chess positions. This article describes the behavior of CHREST, a computer implementation of (...) the template theory, in a memory task when the presentation time is varied from one second to sixty, on the recall of game and random positions, and compares the model to human data. Strong players are better than weak players in both types of positions, especially with long presentation times, but even after brief presentations. CHREST predicts the data, both qualitatively and quantitatively. Strong players' superiority with random positions is explained by the large number of chunks they hold in LTM. Their excellent recall with short presentation times is explained by templates, a special class of chunks. CHREST is compared to other theories of chess skill, which either cannot account for the superiority of Masters in random positions or predict too strong a performance of Masters in such positions. (shrink)

The purpose of this essay is to explain what kind of responsibility citizens should assume for structural corruption. To delve into this topic, we analyze the components of a concept of structure as applied to the features of corruption, as well as the notions of guilt, responsibility and political responsibility. Thus, we argue that citizens who do not participate directly in acts of bribery are politically responsible for systemic corruption. Assuming political responsibility implies taking actions in the public sphere to (...) combat the structure of corruption in conjunction with other citizens. (shrink)

In a famous study of expert problem solving, de Groot (1946/1978) examined how chess players found the best move. He reported that there was little difference in the way that the best players (Grand Masters) and very good players (Candidate Masters) searched the board. Although this result has been regularly cited in studies of expertise, it is frequently misquoted. It is often claimed that de Groot found no difference in the way that experts and novices investigate a problem. Comparison of (...) expert and novice chess players on de Groot's problem shows that there are clear differences in their search patterns. We discuss the troublesome theoretical and practical consequences of incorrectly reporting de Groot's findings. (shrink)

Understanding how look-ahead search and pattern recognition interact is one of the important research questions in the study of expert problem solving. This paper examines the implications of the template theory Gobet & Simon, 1996a , a recent theory of expert memory, on the theory of problem solving in chess. Templates are chunks Chase & Simon, 1973 that have evolved into more complex data structures and that possess slots allowing values to be encoded rapidly. Templates may facilitate search in three (...) ways: a by allowing information to be stored into LTM rapidly; b by allowing a search in the template space in addition to a search in the move space; and c by compensating loss in the minds eye due to interference and decay. A computer model implementing the main ideas of the theory is presented, and simulations of its search behaviour are discussed. The template theory accounts for the slight skill difference in average depth of search found in chess players, as well as for other empirical data. (shrink)

El orden geométrico consiste en partir de definiciones y axiomas evidentes por sí mismos. El paralelismo entre ambos órdenes en el sistema de Spinoza, el ordo cognoscendi y el ordo essendi, hace posible postular la intensidad total de lo real, implicando necesariamente una semejanza entre el entendimiento finito, en cuanto productor del primer orden, y el entendimiento infinito, en cuanto productor del segundo orden, ausente en el cartesianismo. Martial Gueroult afirma el método como geométrico en Descartes porque obedece estrictamente a (...) la regla que asegura a la Geometría todo su rigor; mientras que en Spinoza lo es porque, como Geometría, construye los conceptos de los objetos. (shrink)